Logic model

Results: 5700



#Item
651Employment / Logic model / Evaluation / Unemployment / Economics / Human behavior / Sociology / Evaluation methods / Career and technical education / Foras Áiseanna Saothair

510- Momentum Report 5 Final Report

Add to Reading List

Source URL: www.momentumskills.ie

Language: English - Date: 2015-03-20 12:27:32
652Philosophical logic / Model theory / First-order logic / FO / Linear temporal logic / Modal logic / Abstract interpretation / Mereology / Tiny Encryption Algorithm / Logic / Mathematical logic / Predicate logic

Verifying Temporal Heap Properties Specified via Evolution Logic? Eran Yahav1 , Thomas Reps2 , Mooly Sagiv1 , and Reinhard Wilhelm3 1 School of Comp. Sci., Tel-Aviv Univ., Tel-Aviv, Israel, {yahave,msagiv}@post.tau.ac.i

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2004-11-16 12:33:58
653Methodology / Impact assessment / Program evaluation / Logic model / Expanded Program on Immunization / Capacity building / United States Agency for International Development / Empowerment evaluation / Global Health Initiatives / Evaluation / Evaluation methods / Sociology

Job Opportunity Date: May 15, 2015 Application deadline: June 5, 2015 Duty station: AFENET Secretariat No of vacancies: 1 BACKGROUND:

Add to Reading List

Source URL: web.monitor.co.ug

Language: English - Date: 2015-05-15 04:13:19
654Teaching / Logic model / Teacher / Educational psychology / Education policy / Course evaluation / Classroom walkthrough / Education / Evaluation methods / Evaluation

EDUCATOR EVALUATION IN TENNESSEE: FINDINGS FROM THE 2014 FIRST TO THE TOP SURVEY MARCH, 2015 Matthew J. Pepper, Mark W. Ehlert, Eric S. Parsons, Seth W. Stahlheber, Susan F. Burns

Add to Reading List

Source URL: www.tnconsortium.org

Language: English - Date: 2015-04-13 16:16:55
655Logic in computer science / Model theory / Presburger arithmetic / Proof theory / Data types / Computability theory / Oz / Abstract interpretation / Peano axioms / Mathematical logic / Mathematics / Theoretical computer science

A Verification Toolkit for Numerical Transition Systems Tool Paper⋆ Hossein Hojjat1 , Filip Koneˇcn´y2,4, Florent Garnier2 , Radu Iosif2 , Viktor Kuncak1, and Philipp R¨ummer3 1

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2012-06-11 13:15:35
656Logic model / Project management / Program management / Performance measurement

Managing for Change: Introducing the Art of Results Based Management PLAN:NET LIMITED March 2009

Add to Reading List

Source URL: www.plannet.ca

Language: English - Date: 2011-02-14 15:46:27
657Sales / Logic model / Request for proposal / Evaluation methods / Evaluation / Business

Discussion • • • • •

Add to Reading List

Source URL: seagrant.uconn.edu

Language: English - Date: 2012-01-17 15:13:43
658Wraparound / Logic model / Caregiver / Medicine / Human behavior / Center for Managing Chronic Disease / Primary Care Behavioral health / Health promotion / Health / Child care

Logic Model Outcomes - Priority 2 COORDINATED COMMUNITY SYSTEM PROGRAM ACTIONS Jacksonville System of Care Initiative – Board and Community Strategies Policy changes to accomplish following:

Add to Reading List

Source URL: partnershipforchildhealth.org

Language: English - Date: 2013-06-11 18:04:35
659Thought / Logic model / Logic / Scientific modelling / Participatory impact pathways analysis / Program evaluation / Evaluation methods / Evaluation / Science

Notice of Funding Opportunity (NOFO) Theory of Change And Logic Models

Add to Reading List

Source URL: nevadavolunteers.org

Language: English - Date: 2014-11-04 14:23:09
660Metalogic / Model theory / Elementary mathematics / Formal languages / Function / Finite set / Infinity / Quantifier elimination / Set / Mathematics / Logic / Mathematical logic

Ordered Sets in the Calculus of Data Structures

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2010-06-07 15:38:49
UPDATE